MathDox: Mathematical Documents on the Web Contribution to the OMDoc book

نویسندگان

  • A. M. Cohen
  • H. Cuypers
  • E. Reinaldo Barreiro
  • Manfred Riem
  • Olga Caprotti
  • Hans Sterk
  • Henny Wilbrink
  • Mark Spanbroek
  • Dorina Jibetean
چکیده

This section deals with our work on interactive mathematical documents that make use of the World Wide Web. These documents take input from various sources, users, and mathematical services. Communication between these different entities can be realized using OpenMath. But, such communication and the interactivity inside the mathematical document take place in a specific, dynamic, context. In this paper we discuss our approach to such a dynamic mathematical context: MathDox. It consists of both an xml based markup language for interactive mathematical contents and a set of software tools realising the interactivity.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

OMDoc - An Open Markup Format for Mathematical Documents [version 1.2]

In this report we present an extension OMDoc to the OpenMath standard that allows to represent the semantics and structure of various kinds of mathematical documents, including articles, textbooks, interactive books, courses. It can serve as the content language for agent communication of mathematical services on a mathematical software bus. We motivate and describe the OMDoc language and prese...

متن کامل

OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge

In this paper we present an extension OMDoc to the OpenMath standard that allows to represent the semantics and structure of various kinds of mathematical documents, including articles, textbooks, interactive books, courses. It can serve as the content language for agent communication of mathematical services on a mathematical software bus.

متن کامل

A Mathematical Approach to Ontology Authoring and Documentation

The semantic web ontology languages RDFS and OWL are widely used but limited in both their expressivity and their support for modularity and integrated documentation. Expressivity, modularity, and documentation of formal knowledge have always been important issues in the MKM community. Therefore, we try to improve these ontology languages by well-tried MKM techniques. Concretely, we propose emb...

متن کامل

Publishing Math Lecture Notes as Linked Data

We mark up a corpus of LTEX lecture notes semantically and expose them as Linked Data in XHTML+MathML+RDFa. Our application makes the resulting documents interactively browsable for students. Our ontology helps to answer queries from students and lecturers, and paves the path towards an integration of our corpus with external sites. 1 Application: Computer Science Lecture Notes Over the last se...

متن کامل

System Description: MathHub.info

We present the MathHub.info system, a development environment for active mathematical documents and an archive for flexiformal mathematics. It offers a rich interface for reading, writing, and interacting with mathematical documents and knowledge. The core of the MathHub.info system is an archive for flexiformal mathematical documents and libraries in the OMDoc/MMT format. Content can be author...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005